61. Schaum's outline of theory and problems of discrete mathematics
Author: abridgement editor, George J. Hademenos.
Library: Vali Asr University Central Library (Kerman)
Subject: Algebra, Abstract,Combinatorial analysis,Logic, Symbolic and mathematical
Classification :
QA
162
.
D57
2003
62. Soft Computing for Knowledge Discovery
Author: by James G. Shanahan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Data structures (Computer science).,Logic, Symbolic and mathematical.
63. Structural Complexity I
Author: by José Luis Balcázar, Josep Díaz, Joaquim Gabarró.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic, Symbolic and mathematical.
64. The Ordered Weighted Averaging Operators
Author: edited by Ronald R. Yager, Janusz Kacprzyk.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Information Systems.,Logic, Symbolic and mathematical.,Mathematics.
65. The P=NP question and Geodel's lost letter
Author: Richard J. Lipton
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical
Classification :
QA
،
9
.
65
،.
L57
،
2010
66. The P=NP question and Geodel's lost letter
Author: / Richard J. Lipton
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical
Classification :
E-BOOK
67. The strange logic of random graphs
Author: Spencer, Joel H.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Random graphs,، Logic, Symbolic and mathematical
Classification :
QA
166
.
17
.
S64
2001
68. The logic of partial information
Author: Nait Abdallah, Areski
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
N35
1995
69. The logic of partial information
Author: Areski Nait Abdallah
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
N3
70. The strange logic of random graphs
Author: Spencer, Joel H.
Library: Central Library and Documentation Center (Semnan)
Subject: ، Random graphs,، Logic, Symbolic and mathematical
Classification :
QA
166
.
17
.
S64
2001
71. The strange logic of random graphs
Author: Joel Spencer
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Random graphs,، Logic, Symbolic and mathematical
Classification :
QA
166
.
17
.
S64
72. Traffic Control and Transport Planning:
Author: by Dušan Teodorović, Katarina Vukadinović.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Civil engineering.,Logic, Symbolic and mathematical.,Mathematics.,Regional economics.
73. Trends in mathematics and computational intelligence /
Author: Maria Eugenia Cornejo, Laszlo T. Koczy, Jesus Medina, Antonio Eduardo De Barros Ruano, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational intelligence.,Computational intelligence.
Classification :
Q342
.
T74
2019eb
74. mathematical logic, the theory of algorithms and the theory of sets
Author:
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Logic, Symbolic and mathematical- Addresses, essays, lectures ► Algorithms- Addresses, essays, lectures ► Set theory- Addresses, essays, lectures
Classification :
511
M426
